Browsing by Subject "Formal methods"
Now showing items 1-5 of 5
-
Conference Object
An abstract channel specification and an algorithm implementing it using Java sockets
(2008)Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
-
Article
Automated implementation of complex distributed algorithms specified in the IOA language
(2009)IOA is a formal language for describing Input/Output automata that serves both as a formal specification language and as a programming language (Garland et al. in http://theory.lcs.mit.edu/tds/ioa/manual.ps, 2004). The IOA ...
-
Conference Object
Evaluating the use of ADLs in component-based development
(2008)In this paper we evaluate the use of software architectures in the development of component-based systems. The evaluation is based on the level of support provided by the software architectures formal representatives, ...
-
Article
A process calculus for dynamic networks
(2011)In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery ...
-
Article
Type checking purpose-based privacy policies in the π-calculus
(2016)In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy ...